Behavior specification in a software design system

A technique for software system behavior specification appropriate for use in designing systems with concurrency is presented. The technique is based upon a generalized ability to define events, or significant occurrences in a software system, and then indicate whatever constraints the designer might wish to see imposed upon the ordering or simultaneity of those events. Constructs implementing this technique in the DREAM software design system are presented and illustrated. The relationship of this technique to other behavior specification techniques is also discussed.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/25196/1/0000635.pd

A destabilized bacterial luciferase for dynamic gene expression studies

Fusions of genetic regulatory elements with reporter genes have long been used as tools for monitoring gene expression and have become a major component in synthetic gene circuit implementation. A major limitation of many of these systems is the relatively long half-life of the reporter protein(s), which prevents monitoring both the initiation and the termination of transcription in real-time. Furthermore, when used as components in synthetic gene circuits, the long time constants associated with reporter protein decay may significantly degrade circuit performance. In this study, short half-life variants of LuxA and LuxB from Photorhabdus luminescens were constructed in Escherichia coli by inclusion of an 11-amino acid carboxy-terminal tag that is recognized by endogenous tail-specific proteases. Results indicated that the addition of the C-terminal tag affected the functional half-life of the holoenzyme when the tag was added to luxA or to both luxA and luxB, but modification of luxB alone did not have a significant effect. In addition, it was also found that alteration of the terminal three amino acid residues of the carboxy-terminal tag fused to LuxA generated variants with half-lives of intermediate length in a manner similar to that reported for GFP. This report is the first instance of the C-terminal tagging approach for the regulation of protein half-life to be applied to an enzyme or monomer of a multi-subunit enzyme complex and will extend the utility of the bacterial luciferase reporter genes for the monitoring of dynamic changes in gene expression

Saccharomyces cerevisiae BLYAS, a New Bioluminescent Bioreporter for Detection of Androgenic Compounds▿

A Saccharomyces cerevisiae strain, capable of autonomous bioluminescence, was engineered to respond to androgenic chemicals. The strain, S. cerevisiae BLYAS, contains the human androgen receptor in the chromosome and was constructed by inserting a series of androgen response elements between divergent yeast promoters GPD and ADH1 on pUTK401 that constitutively expressed luxA and luxB to create pUTK420. Cotransformation of this plasmid with a second plasmid (pUTK404), containing the genes required for aldehyde synthesis (luxCDE) and FMN reduction (frp), yielded a bioluminescent bioreporter responsive to androgenic chemicals. Using dihydrotestosterone (DHT) as a standard, the response time and the 50% effective concentration values were 3 to 4 h and (9.7 ± 4.6) × 10−9 M, respectively. The lower limit of detection in response to DHT was 2.5 × 10−9 M, and in response to testosterone it was 2.5 × 10−10 M. This strain is suitable for high-throughput screening of chemicals with potential for remote environmental monitoring systems because of the assay speed, sensitivity, and self-containment

Use of Saccharomyces cerevisiae BLYES Expressing Bacterial Bioluminescence for Rapid, Sensitive Detection of Estrogenic Compounds

An estrogen-inducible bacterial lux-based bioluminescent reporter was developed in Saccharomyces cerevisiae for applications in chemical sensing and environmental assessment of estrogen disruptor activity. The strain, designated S. cerevisiae BLYES, was constructed by inserting tandem estrogen response elements between divergent yeast promoters GPD and ADH1 on pUTK401 (formerly pUA12B7) that constitutively express luxA and luxB to create pUTK407. Cotransformation of this plasmid with a second plasmid (pUTK404) containing the genes required for aldehyde synthesis (luxCDE) and FMN reduction (frp) yielded a bioluminescent bioreporter responsive to estrogen-disrupting compounds. For validation purposes, results with strain BLYES were compared to the colorimetric-based estrogenic assay that uses the yeast lacZ reporter strain (YES). Strains BLYES and YES were exposed to 17β-estradiol over the concentration range of 1.2 × 10(−8) through 5.6 × 10(−12) M. Calculated 50% effective concentration values from the colorimetric and bioluminescence assays (n = 7) were similar at (4.4 ± 1.1) × 10(−10) and (2.4 ± 1.0) × 10(−10) M, respectively. The lower and upper limits of detection for each assay were also similar and were approximately 4.5 × 10(−11) to 2.8 × 10(−9) M. Bioluminescence was observed in as little as 1 h and reached its maximum in 6 h. In comparison, the YES assay required a minimum of 3 days for results. Strain BLYES fills the niche for rapid, high-throughput screening of estrogenic compounds and has the ability to be used for remote, near-real-time monitoring of estrogen-disrupting chemicals in the environment

Implications of Fecal Bacteria Input from Latrine-Polluted Ponds for Wells in Sandy Aquifers

Ponds receiving latrine effluents may serve as sources of fecal contamination to shallow aquifers tapped by millions of tube-wells in Bangladesh. To test this hypothesis, transects of monitoring wells radiating away from four ponds were installed in a shallow sandy aquifer underlying a densely populated village and monitored for 14 months. Two of the ponds extended to medium sand. Another pond was sited within silty sand and the last in silt. The fecal indicator bacterium E. coli was rarely detected along the transects during the dry season and was only detected near the ponds extending to medium sand up to 7 m away during the monsoon. A log-linear decline in E. coli and Bacteroidales concentrations with distance along the transects in the early monsoon indicates that ponds excavated in medium sand were the likely source of contamination. Spatial removal rates ranged from 0.5-1.3 log(10)/m. After the ponds were artificially filled with groundwater to simulate the impact of a rain storm, E. coli levels increased near a pond recently excavated in medium sand, but no others. These observations show that adjacent sediment grain-size and how recently a pond was excavated influence how much fecal contamination ponds receiving latrine effluents contribute to neighboring groundwater